#include <stdio.h>

int main ()
{
    int cnt = 0;
    int c;
    while ((c = getchar()) != EOF) {
        if (c == ' ' || c == '\n' || c == '\t') {
            ++cnt;
        }
    }
    printf("cnt = %d\n", cnt);
    return 0;
}